翻訳と辞書
Words near each other
・ tuple calculus
・ tuple space smalltalk
・ tupling
・ turbo c
・ turbo c++
・ turbo debugger
・ turbo nerd
・ turbo pascal
・ turbo prolog
・ turing
・ turing machine
・ turing plus
・ turing tar-pit
・ turing test
・ turingol
・ turist
・ turn
・ turn-key
・ turtle graphics
・ tutor


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Turing Machine : FOLDOC
Turing Machine
A hypothetical machine defined in 1935-6 by Alan Turing and used for computability theory proofs. It consists of an infinitely long "tape" with symbols (chosen from some {finite set}) written at regular intervals. A pointer marks the current position and the machine is in one of a finite set of "internal states". At each step the machine reads the symbol at the current position on the tape. For each combination of current state and symbol read, a program specifies the new state and either a symbol to write to the tape or a direction to move the pointer (left or right) or to halt.
In an alternative scheme, the machine writes a symbol to the tape *and* moves at each step. This can be encoded as a write state followed by a move state for the write-or-move machine. If the write-and-move machine is also given a distance to move then it can emulate an write-or-move program by using states with a distance of zero. A further variation is whether halting is an action


スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.